/*
 * i8259.h
 *
 *  Created on: 2016-10-24
 *      Author: m
 */

#ifndef SRC_INCLUDE_KERNEL_I8259_H_
#define SRC_INCLUDE_KERNEL_I8259_H_

#define CLOCK_IRQ           (0)
#define KEYBOARD_IRQ        (1)
#define CASECADE_IRQ        (2)
#define WIN_DISK_IRQ        (14)

void init_8259A();
void hw_int_proc(int int_no);
void set_irq_handler(int irq_no, irq_handler handler);

#endif /* SRC_INCLUDE_KERNEL_I8259_H_ */
